\documentclass[tikz,border=2mm]{standalone}
\usepackage{array,amsmath,mathptmx,xcolor,bbding,pifont,colortbl,amssymb}
\usepackage[UTF8]{ctex}
\newcolumntype{C}[1]{>{\centering\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}
% 只需要这个就可以
\usepackage[thicklines]{cancel}

% 可以设置线条颜色，默认是黑色
\usepackage{xcolor}
\renewcommand{\CancelColor}{\color{red}} 
\usepackage{tikz-cd}
\usepackage{tikz,graphicx,subfig,caption} % Required for drawing custom shapes
\usetikzlibrary{fit,matrix,chains,arrows,shapes,positioning,arrows.meta,chains,shadows,shapes.callouts,decorations.text,shapes.symbols,shapes.misc, positioning,decorations.pathreplacing,calc}
\arrayrulecolor{red}
% 设置浅蓝色
\definecolor{lightblue1}{RGB}{175, 175, 237}
\definecolor{lightgreen1}{RGB}{226, 246, 186}
% 设定删除线颜色
\renewcommand{\CancelColor}{\color{red}}

\begin{document}
	\begin{tikzpicture}[>=latex,every node/.style={anchor=south west,,inner sep=0}]
		
		%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
		\node[drop shadow, fill=white] at (5em,0) (SYNBL){
			\begin{tabular}[draw=red]{|l l |} \hline
				%  行1
				\color{blue}\ding{172} & \color{blue}{$S_i=S_j$,当且仅当有U$\rightarrow$...$s_i,s_j$...;}   \\ 
				% 行2
				& \color{blue}{\hspace{0.5em}如: a$=$A, A$=$e, e$=$B, S$=$b;} \\    
				% 行3
				\color{blue}\ding{173} & \color{blue}$S_i\lessdot S_j$,当且仅当有U$\rightarrow$...$s_i$W...,且W$\rightarrow s_j...;$ \\   
				% 行4 
				& \color{blue}\hspace{0.5em}如:a$\lessdot$e, a$\lessdot$S, a$\lessdot$a, a$\lessdot$b, e$\lessdot$a...... \\ 
				% 行5
				\color{blue}\ding{174} & \color{blue}$S_i\gtrdot S_j$,当且仅当有U$\rightarrow$...V$s_j$...,且V$\rightarrow$...$s_i$; \\ 
				% 行6 
				& \color{blue}\hspace{0.5em}如：b$\gtrdot$b, B$\gtrdot$b, A$\gtrdot$b, e$\gtrdot$b。 \\ \hline
			\end{tabular}
		};
		\node(point1) at ([xshift=-7.4em,yshift=-0.72em]SYNBL.north) {\color{blue}.};
		\node(point2) at ([xshift=-6.2em,yshift=-1.92em]SYNBL.north) {\color{blue}.};
		\node(point3) at ([xshift=-3.3em,yshift=-1.92em]SYNBL.north) {\color{blue}.};
		\node(point4) at ([xshift=-1.2em,yshift=-1.92em]SYNBL.north) {\color{blue}.};
		\node(point5) at ([xshift=1.4em,yshift=-1.92em]SYNBL.north) {\color{blue}.};
		\node(point6) at ([xshift=7.8em,yshift=-2.8em]SYNBL.north) {\color{blue}+};
		\node(point7) at ([xshift=7.4em,yshift=-5.3em]SYNBL.north) {\color{blue}+};
		
	\end{tikzpicture}
\end{document}